[tail] [up]

2.2.1 Integrals 1 to 63

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 106 125 243 286 0 0 -1

N.S.

1 1.00 1.00 1.18 2.29 2.70 0.00 0.00 -0.01

time (sec)

N/A 0.101 0.014 0.155 0.533 0.380 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 77 103 163 200 0 0 -1

N.S.

1 1.00 1.00 1.34 2.12 2.60 0.00 0.00 -0.01

time (sec)

N/A 0.088 0.013 0.063 0.555 0.373 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 54 78 92 122 0 0 129

N.S.

1 1.00 1.00 1.44 1.70 2.26 0.00 0.00 2.39

time (sec)

N/A 0.056 0.009 0.075 0.552 0.365 0.000 0.000 2.464

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.011 2.116 0.045 0.000 0.000 0.000 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.011 3.192 0.044 0.000 0.000 0.000 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 122 133 639 225 0 0 -1

N.S.

1 1.00 1.24 1.36 6.52 2.30 0.00 0.00 -0.01

time (sec)

N/A 0.109 1.196 0.092 0.560 0.371 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 189 108 257 144 0 0 -1

N.S.

1 1.00 2.59 1.48 3.52 1.97 0.00 0.00 -0.01

time (sec)

N/A 0.078 6.159 0.087 0.610 0.398 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 43 40 214 38 41 182 35

N.S.

1 1.00 1.43 1.33 7.13 1.27 1.37 6.07 1.17

time (sec)

N/A 0.017 0.206 0.082 0.526 0.390 0.076 0.699 0.113

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.020 2.741 0.119 0.000 0.000 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.020 3.128 0.108 0.000 0.000 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 366 251 1205 344 0 0 -1

N.S.

1 1.00 1.79 1.22 5.88 1.68 0.00 0.00 -0.00

time (sec)

N/A 0.212 6.729 0.114 0.666 0.372 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 179 180 736 240 0 0 -1

N.S.

1 1.00 1.40 1.41 5.75 1.88 0.00 0.00 -0.01

time (sec)

N/A 0.133 3.748 0.089 0.616 0.356 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 210 122 386 146 0 0 -1

N.S.

1 1.00 2.33 1.36 4.29 1.62 0.00 0.00 -0.01

time (sec)

N/A 0.075 6.163 0.072 0.621 0.384 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.019 5.028 0.082 0.000 0.000 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.020 3.364 0.065 0.000 0.000 0.000 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 0 0 16 0 0 50

N.S.

1 1.00 1.00 0.00 0.00 0.89 0.00 0.00 2.78

time (sec)

N/A 1.928 0.697 0.362 0.000 0.413 0.000 0.000 3.123

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F F A F F B

verified

N/A N/A Yes TBD TBD TBD TBD TBD TBD

size

17 0 17 0 0 15 0 0 45

N.S.

1 0.00 1.00 0.00 0.00 0.88 0.00 0.00 2.65

time (sec)

N/A 0.025 0.507 0.428 0.000 0.351 0.000 0.000 4.173

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 278 1061 0 166 258 193 423

N.S.

1 1.00 1.47 5.61 0.00 0.88 1.37 1.02 2.24

time (sec)

N/A 0.147 0.460 0.469 0.000 0.360 0.200 0.472 3.559

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 178 108 0 107 165 123 241

N.S.

1 1.00 1.30 0.79 0.00 0.78 1.20 0.90 1.76

time (sec)

N/A 0.090 0.302 0.558 0.000 0.352 0.165 0.524 3.078

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 96 50 0 57 92 65 105

N.S.

1 1.00 1.14 0.60 0.00 0.68 1.10 0.77 1.25

time (sec)

N/A 0.039 0.341 0.503 0.000 0.358 0.124 0.517 2.815

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 166 65 120 52 0 142 -1

N.S.

1 1.00 1.03 0.40 0.75 0.32 0.00 0.88 -0.01

time (sec)

N/A 0.208 0.385 0.463 0.359 0.367 0.000 0.527 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 224 285 127 86 0 1099 -1

N.S.

1 1.00 1.33 1.70 0.76 0.51 0.00 6.54 -0.01

time (sec)

N/A 0.168 0.884 0.370 0.384 0.366 0.000 2.767 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 285 358 167 133 0 540 -1

N.S.

1 1.00 1.26 1.58 0.74 0.59 0.00 2.38 -0.00

time (sec)

N/A 0.229 1.235 0.449 0.423 0.368 0.000 0.525 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 473 2046 0 270 665 383 289

N.S.

1 1.00 1.75 7.58 0.00 1.00 2.46 1.42 1.07

time (sec)

N/A 0.197 1.022 0.534 0.000 0.381 0.359 0.590 3.231

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 282 956 0 166 418 227 183

N.S.

1 1.00 1.40 4.73 0.00 0.82 2.07 1.12 0.91

time (sec)

N/A 0.138 0.692 0.486 0.000 0.377 0.277 0.586 2.987

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 130 82 0 82 226 107 103

N.S.

1 1.00 0.86 0.54 0.00 0.54 1.50 0.71 0.68

time (sec)

N/A 0.103 0.535 0.569 0.000 0.360 0.208 0.537 2.768

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

305 305 211 377 208 86 0 420 -1

N.S.

1 1.00 0.69 1.24 0.68 0.28 0.00 1.38 -0.00

time (sec)

N/A 0.546 0.572 0.442 0.355 0.369 0.000 0.549 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

436 436 467 536 225 147 0 2135 -1

N.S.

1 1.00 1.07 1.23 0.52 0.34 0.00 4.90 -0.00

time (sec)

N/A 0.505 1.727 0.481 0.438 0.380 0.000 13.086 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

396 396 667 3396 0 374 945 573 411

N.S.

1 1.00 1.68 8.58 0.00 0.94 2.39 1.45 1.04

time (sec)

N/A 0.268 2.427 0.620 0.000 0.360 0.505 0.749 3.851

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

294 294 405 1513 0 225 588 331 263

N.S.

1 1.00 1.38 5.15 0.00 0.77 2.00 1.13 0.89

time (sec)

N/A 0.189 1.619 0.541 0.000 0.361 0.387 0.725 3.375

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 205 523 0 109 311 151 146

N.S.

1 1.00 0.98 2.50 0.00 0.52 1.49 0.72 0.70

time (sec)

N/A 0.166 0.796 0.457 0.000 0.368 0.283 0.728 3.030

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

449 449 336 550 296 120 0 846 -1

N.S.

1 1.00 0.75 1.22 0.66 0.27 0.00 1.88 -0.00

time (sec)

N/A 1.281 0.847 0.524 0.386 0.350 0.000 0.682 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

712 712 833 787 317 204 0 3165 -1

N.S.

1 1.00 1.17 1.11 0.45 0.29 0.00 4.45 -0.00

time (sec)

N/A 1.252 3.285 0.573 0.475 0.367 0.000 33.043 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 30.536 0.201 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.021 14.605 0.319 0.000 0.000 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 205 0 0 86 0 0 -1

N.S.

1 1.00 2.09 0.00 0.00 0.88 0.00 0.00 -0.01

time (sec)

N/A 0.084 1.399 0.298 0.000 0.119 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 205 0 0 146 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.85 0.00 0.00 -0.01

time (sec)

N/A 0.135 151.497 0.267 0.000 0.100 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 269 0 0 201 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.80 0.00 0.00 -0.00

time (sec)

N/A 0.179 119.593 0.298 0.000 0.108 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 546 500 710 520 0 0 -1

N.S.

1 1.00 3.59 3.29 4.67 3.42 0.00 0.00 -0.01

time (sec)

N/A 0.179 7.083 0.342 0.573 0.372 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 324 314 401 331 0 0 -1

N.S.

1 1.00 2.82 2.73 3.49 2.88 0.00 0.00 -0.01

time (sec)

N/A 0.141 6.325 0.207 0.546 0.396 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 87 143 136 168 0 0 161

N.S.

1 1.00 1.04 1.70 1.62 2.00 0.00 0.00 1.92

time (sec)

N/A 0.086 0.038 0.147 0.546 0.373 0.000 0.000 3.220

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.021 2.088 0.230 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 6.366 0.211 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

300 300 1347 952 2500 780 0 0 -1

N.S.

1 1.00 4.49 3.17 8.33 2.60 0.00 0.00 -0.00

time (sec)

N/A 0.366 6.966 0.374 1.262 0.395 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

229 229 656 575 1295 465 0 0 -1

N.S.

1 1.00 2.86 2.51 5.66 2.03 0.00 0.00 -0.00

time (sec)

N/A 0.256 6.949 0.267 0.723 0.388 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 200 238 559 228 0 0 -1

N.S.

1 1.00 1.47 1.75 4.11 1.68 0.00 0.00 -0.01

time (sec)

N/A 0.121 2.212 0.226 0.583 0.369 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 19.308 0.230 0.000 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 14.752 0.214 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

612 612 2607 1930 6424 1199 0 0 -1

N.S.

1 1.00 4.26 3.15 10.50 1.96 0.00 0.00 -0.00

time (sec)

N/A 0.674 7.856 0.439 9.417 0.404 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

436 436 1860 1138 3327 704 0 0 -1

N.S.

1 1.00 4.27 2.61 7.63 1.61 0.00 0.00 -0.00

time (sec)

N/A 0.443 7.368 0.376 2.517 0.407 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

277 277 277 493 1384 337 0 0 -1

N.S.

1 1.00 1.00 1.78 5.00 1.22 0.00 0.00 -0.00

time (sec)

N/A 0.234 3.505 0.257 0.878 0.367 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 14.888 0.222 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 20.659 0.218 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 418 1468 1038 1209 0 0 -1

N.S.

1 1.00 1.72 6.04 4.27 4.98 0.00 0.00 -0.00

time (sec)

N/A 0.245 2.268 0.540 0.748 0.469 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 321 940 755 858 0 0 -1

N.S.

1 1.00 1.77 5.19 4.17 4.74 0.00 0.00 -0.01

time (sec)

N/A 0.196 1.702 0.394 0.647 0.391 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 113 462 422 549 0 0 -1

N.S.

1 1.00 0.90 3.70 3.38 4.39 0.00 0.00 -0.01

time (sec)

N/A 0.110 1.021 0.392 0.616 0.396 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 1.733 0.332 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 4.403 0.347 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

848 848 2857 3512 4521 2555 0 0 -1

N.S.

1 1.00 3.37 4.14 5.33 3.01 0.00 0.00 -0.00

time (sec)

N/A 1.383 11.026 0.661 2.809 0.507 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

654 654 535 2184 2556 1606 0 0 -1

N.S.

1 1.00 0.82 3.34 3.91 2.46 0.00 0.00 -0.00

time (sec)

N/A 1.016 7.757 0.560 1.243 0.431 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

214 214 745 999 1193 871 0 0 -1

N.S.

1 1.00 3.48 4.67 5.57 4.07 0.00 0.00 -0.00

time (sec)

N/A 0.194 6.867 0.517 0.885 0.442 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.038 16.294 0.426 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 16.814 0.471 0.000 0.000 0.000 0.000 0.000

[front] [up]